WARNING: Entering non-anonymous area!

This proxy only supports HTTP and FTP. Any browsing to another URL will be directly from your browser, and no longer anonymous.

Follow the link below to exit your anonymous browsing session, and continue to the URL non-anonymously.

mailto:?subject=Context-Bounded%20Analysis%20For%20Concurrent%20Programs%20With%20Dynamic%20Creation%20of%20Threads&body=https://doi.org/10.2168/LMCS-7(4:4)2011